More from this Author
Found 6 books by Ezio Bartocci (Editor)
Lectures on Runtime Verification
by Ezio Bartocci (Editor), Yliès Falcone (Editor)
Model Checking Software
by Ezio Bartocci (Editor), C. R. Ramakrishnan (Editor)
Runtime Verification
by Ezio Bartocci (Editor), Rupak Majumdar (Editor)
From Reactive Systems to Cyber-Physical Systems
by Ezio Bartocci (Editor), Rance Cleaveland (Editor), Radu Grosu (Editor), Oleg Sokolsky (Editor)
Runtime Verification
by Ezio Bartocci (Editor), Rupak Majumdar (Editor)
Model Checking Software
by Ezio Bartocci (Editor), C. R. Ramakrishnan (Editor)